Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
4

Argumentation Reasoning via Circumscription with Pyglaf

Année:
2019
Langue:
english
Fichier:
PDF, 599 KB
english, 2019
14

Translation-based approaches for solving disjunctive temporal problems with preferences

Année:
2018
Langue:
english
Fichier:
PDF, 951 KB
english, 2018
16

Shared aggregate sets in answer set programming

Année:
2018
Langue:
english
Fichier:
PDF, 255 KB
english, 2018
20

On the relation among answer set solvers

Année:
2008
Langue:
english
Fichier:
PDF, 978 KB
english, 2008
21

Solving satisfiability problems with preferences

Année:
2010
Langue:
english
Fichier:
PDF, 1.05 MB
english, 2010
22

The SAT-based Approach to Separation Logic

Année:
2005
Langue:
english
Fichier:
PDF, 601 KB
english, 2005
23

Answer Set Programming Based on Propositional Satisfiability

Année:
2006
Langue:
english
Fichier:
PDF, 392 KB
english, 2006
40

Disjunctive answer set solvers via templates

Année:
2016
Langue:
english
Fichier:
PDF, 932 KB
english, 2016
46

Logic Programming with Graded Introspection

Année:
2016
Langue:
english
Fichier:
PDF, 306 KB
english, 2016
47

Towards Deriving Conclusions from Cause-effect Relations

Année:
2016
Langue:
english
Fichier:
PDF, 445 KB
english, 2016